This article concerns the problem of time pressures in higher education from the perspective of Newtonian (clock)time and pedagogical action. While most recent critiques of contemporary time pressures turn to alternative time theories in place of Newtonian temporality, the current paper outlines a way to conceive education from a Newtonian time perspective while also retaining theorizations of education as a form of cyclical and uncertain interaction. Time is theorized as changes in the immediate present which transform an uncertain and potential (...) future to an evident and permanent past in a Newtonian-linear temporal framework. Education, on the other hand, is defined as pedagogical influence to foster student’s human growth, demonstrated in a teaching–studying–learning relationship. Slow education theories and strategies are proposed as a way to reclaim time for education from the accelerative time policies of HE from within a linear time perspective instead of having to propose alternative time theories to ‘free’ education from its rootedness in the temporality of past, present, and future. (shrink)

Questionable research practices are a well-recognized problem in psychology. Coding bias, or the tendency of review studies to disproportionately cite positive findings from original research, has received comparatively little attention. Coding bias is more likely to occur when original research, such as neuroimaging, includes large numbers of effects, and is most concerning in applied contexts. We evaluated coding bias in reviews of structural magnetic resonance imaging studies of PCL-R psychopathy. We used PRISMA guidelines to locate all relevant original sMRI studies (...) and reviews. The proportion of null-findings cited in reviews was significantly lower than those reported in original research, indicating coding bias. Coding bias was not affected by publication date or review design. Reviews recommending forensic applications—such as treatment amenability or reduced criminal responsibility—were no more accurate than purely theoretical reviews. Coding bias may have contributed to a perception that structural brain abnormalities in psychopaths are more consistent than they actually are, and by extension that sMRI findings are suitable for forensic application. We discuss possible sources for the pervasive coding bias we observed, and we provide recommendations to counteract this bias in review studies. Until coding bias is addressed, we argue that this literature should not inform conclusions about psychopaths' neurobiology, especially in forensic contexts. (shrink)

'Value' is a central concept in all of the principles and methods applied in Lean Construction, but it is rather difficult to provide a precise definition of the term. The problem lies in the word value itself: its ambiguity and vagueness make theorization difficult. This paper investigates the philosophical concept of value from a Lean Construction perspective. Several elements that contribute to value are considered, including objective elements such as waste reduction, quality, price and functionality, and more subjective elements such (...) as design. The hypothesis of this paper is that the reduction or removal of elements that detract from value, such as waste and costs, is not the only means by which value may be increased. The Sorites paradox is used to form a cohesive perspective on some different meanings of the word ‗value‘. One of the known ‗solutions‘ of the paradox, utilization theory, is then explored through a case study in off-site construction that illustrates how different actors in the construction process view value, and how utility theory can be used to provide a consensus on value that is acceptable. In practice, ‗value‘ is ambiguous because actors generally value different things and these views seldom converge during projects. Our results indicate that the actors involved strive for value individually. Analysis using utility theory allows the actors to establish a shared conceptualization of value, expressed in monetary terms. The work described in this paper aims to improve our understanding of value and of how to design products in construction to improve value for clients of industrialized housing. (shrink)

In the present study, cross-modal (i.e., across sensory modalities such as smell and sound) iconicity (i.e., resemblance) and indexicality (i.e., contiguity) in lexical sensory and emotional signs in Finnish Sign Language will be considered from an articulatory perspective (i.e., the production of signs). Such cross-modal iconicity has not been extensively studied previously, so here, with the help of cognitive semiotics, I aim to carefully describe the cross-modal patterns observed across 118 signs, including 60 sensory signs and 58 emotional signs. The (...) analysis is framed within the theoretical model of Semiotic Hierarchy, which entails a non-reductionist view of meaning. In addition, a pheno-methodological triangulation will be applied: phenomenology (first-person method), literature of phenomenological and semiotic descriptions (second-person perspective) and experimental findings (third-person perspective). The results of this analysis show that (a) 71 of the 118 sensory and emotional signs are cross-modally indexical, (b) only 10 of the 71 signs can be regarded as cross-modally iconic, (c) cross-modal iconicity is highly diagrammatic, (d) iconicity and indexicality are highly integrated, and (e) articulatory feedback matters in the formation of semiotic patterns. This study contributes to our understanding of cross-modal iconicity in signed languages, as well as studies in semiotic systems more generally. (shrink)

Randomised clinical trials involve procedures such as randomisation, blinding, and placebo use, which are not part of standard medical care. Patients asked to participate in RCTs often experience difficulties in understanding the meaning of these and their justification.

Meaningful work is a key element of positive functioning of employees, but what makes work meaningful? Based on research on self-determination theory, basic psychological needs, and prosocial impact, we suggest that there are four psychological satisfactions that substantially influence work meaningfulness across cultures: autonomy (sense of volition), competence (sense of efficacy), relatedness (sense of caring relationships), and beneficence (sense of making a positive contribution). We test the relationships between these satisfactions and perceived meaningful work in Finland (n = 594, employees (...) of several organizations), India (n = 342, collected through Mturk), and the USA (n = 373, collected through Mturk). Regression analyses show that – except for competence in USA – all four satisfactions are significantly and independently associated with meaningful work. Moreover, structural equation modeling shows that they fully mediated the relationship between occupational position and work meaningfulness in India and in the USA. In sum, the results support the importance of these four satisfactions in explaining the psychological underpinnings of meaningful work. (shrink)

The philosophical debate over psychopaths’ moral and criminal responsibility is increasingly evidence based. However, as we noted, such arguments are misleading if philosophers only consider evidence that supports their own positions. In his response, Glannon counters our argument by introducing new evidence—neuroimaging data—and so demonstrates the exact problem we outlined; Strijbos, in contrast, offers a workable solution.Glannon’s response is a succinct summation of the strengths and weaknesses that philosophers bring to the debate. Although Glannon accurately portrays the potential role of (...) neuroimaging data in determining responsibility as merely supplementary to behavior, he simultaneously mistakes the... (shrink)

In this paper, we introduce an AEC framework for studying fields with commuting automorphisms. Fields with commuting automorphisms are closely related to difference fields. Some authors define a difference ring (or field) as a ring (or field) together with several commuting endomorphisms, while others only study one endomorphism. Z. Chatzidakis and E. Hrushovski have studied in depth the model theory of ACFA, the model companion of difference fields with one automorphism. Our fields with commuting automorphisms generalize this setting. We have (...) several automorphisms and they are required to commute. Hrushovski has proved that in the case of fields with two or more commuting automorphisms, the existentially closed models do not necessarily form a first order model class. In the present paper, we introduce FCA-classes, an AEC framework for studying the existentially closed models of the theory of fields with commuting automorphisms. We prove that an FCA-class has AP and JEP and thus a monster model, that Galois types coincide with existential types in existentially closed models, that the class is homogeneous, and that there is a version of type amalgamation theorem that allows to combine three types under certain conditions. Finally, we use these results to show that our monster model is a simple homogeneous structure in the sense of S. Buechler and O. Lessman (this is a non-elementary analogue for the classification theoretic notion of a simple first order theory). (shrink)

The Hare Psychopathy Checklist (PCL; Hare, Neumann, & Mokros 2018) scales are among the most widely used forensic assessment tools. Their perceived utility rests partly on their ability to assess stable personality traits indicative of a lack of conscience, which then facilitates behavioral predictions useful in forensic decisions. In this systematic review, we evaluate the empirical evidence behind 3 fundamental justifications for using the PCL scales in forensics, namely, that they are empirically predictive of (1) criminal behavior, (2) treatment outcomes, (...) and (3) a lack of conscience. We found the PCL scales can predict criminal behavior to a statistically significant degree, though with important limitations. We found no evidence of PCL psychopathy being predictive of treatment and rehabilitation outcomes. We found no evidence of PCL psychopathy being predictive of a lack of conscience. These findings disprove widespread beliefs about PCL psychopathy among forensic practitioners and questions the current and future role of the PCL scales in forensic settings. (shrink)

We give a characterization for those stable theories whose $\omega_{1}$-saturated models have a "Shelah-style" structure theorem. We use this characterization to prove that if a theory is countable, stable, and 1-based without dop or didip, then its $\omega_{1}$-saturated models have a structure theorem. Prior to us, this is proved in a paper of Hart, Pillay, and Starchenko . Some other remarks are also included.

A logical approach to Bell's Inequalities of quantum mechanics has been introduced by Abramsky and Hardy [2]. We point out that the logical Bell's Inequalities of [2] are provable in the probability logic of Fagin, Halpern and Megiddo [4]. Since it is now considered empirically established that quantum mechanics violates Bell's Inequalities, we introduce a modified probability logic, that we call quantum team logic, in which Bell's Inequalities are not provable, and prove a Completeness Theorem for this logic. For this (...) end we generalise the team semantics of dependence logic [7] first to probabilistic team semantics, and then to what we call quantum team semantics. (shrink)

This article provides an in-depth analysis of a conversational exchange initiated by a customer’s price question in real-life business-to-business sales encounters. The analysis focusses on when the customer requests a price, what that implies as well as how the price discussion is conducted. Marketing literature usually considers product/service price to be an obstacle that the salesperson needs to overcome; we demonstrate that the price question is a positive signal for the salesperson. By requesting the price, the customer claims sufficient understanding (...) of the offer, recognition of the service value and a readiness to move to the next phase in the meeting. The salesperson initiates an insert expansion to tailor the price to her or his customer and then informs the price in an expanded clausal response to build customer value. The conversation analytic study was based on a dataset of 13 video-recorded B2B sales meetings in Finland. (shrink)

We suggest a method of finding a notion of type to abstract elementary classes and determine under what assumption on these types the class has a well-behaved homogeneous and universal "monster" model, where homogeneous and universal are defined relative to our notion of type.

We show that if is a stable theory with ndop and ndidip, then -primary models over free trees are -minimal over the tree. As a corollary we show, for example, that if is a stable theory and for all nonempty , , then is superstable or it has dop or didip.

Deflationists have argued that truth is an ontologically thin property which has only an expressive function to perform, that is, it makes possible to express semantic generalizations like ‘All the theorems are true’, ‘Everything Peter said is true’, etc. Some of the deflationists have also argued that although truth is ontologically thin, it suffices in conjunctions with other facts not involving truth to explain all the facts about truth. The purpose of this paper is to show that in the case (...) of arithmetic, it is difficult to combine the expressive with the explanatory function of truth if the latter is understood in a deflationist way. We will make our point by investigating several logical systems: first‐order logic, full second‐order logic, and existential second‐order logic. (shrink)

In this paper we study a specific subclass of abstract elementary classes. We construct a notion of independence for these AEC’s and show that under simplicity the notion has all the usual properties of first order non-forking over complete types. Our approach generalizes the context of 0-stable homogeneous classes and excellent classes. Our set of assumptions follow from disjoint amalgamation, existence of a prime model over 0/, Löwenheim–Skolem number being ω, -tameness and a property we call finite character. We also (...) start the studies of these classes from the 0-stable case. Stability in 0 and -tameness can be replaced by categoricity above the Hanf number. Finite character is the main novelty of this paper. Almost all examples of AEC’s have this property and it allows us to use weak types, as we call them, in place of Galois types. (shrink)

This paper is concerned with extensions of geometric stability theory to some nonelementary classes. We prove the following theorem:Theorem. Let [Formula: see text] be a large homogeneous model of a stable diagram D. Let p, q ∈ SD(A), where p is quasiminimal and q unbounded. Let [Formula: see text] and [Formula: see text]. Suppose that there exists an integer n < ω such that [Formula: see text] for any independent a1, …, an∈ P and finite subset C ⊆ Q, but (...) [Formula: see text] for some independent a1, …, an, an+1∈ P and some finite subset C ⊆ Q.Then [Formula: see text] interprets a group G which acts on the geometry P′ obtained from P. Furthermore, either [Formula: see text] interprets a non-classical group, or n = 1,2,3 and•If n = 1 then G is abelian and acts regularly on P′.•If n = 2 the action of G on P′ is isomorphic to the affine action of K ⋊ K* on the algebraically closed field K.•If n = 3 the action of G on P′ is isomorphic to the action of PGL2(K) on the projective line ℙ1(K) of the algebraically closed field K.We prove a similar result for excellent classes. (shrink)

We study the κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\kappa $$\end{document}-Borel-reducibility of isomorphism relations of complete first order theories in a countable language and show the consistency of the following: For all such theories T and T′\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$T^{\prime }$$\end{document}, if T is classifiable and T′\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$T^{\prime }$$\end{document} is not, then the isomorphism of models of T′\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} (...) \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$T^{\prime }$$\end{document} is strictly above the isomorphism of models of T with respect to κ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\kappa $$\end{document}-Borel-reducibility. In fact, we can also ensure that a range of equivalence relations modulo various non-stationary ideals are strictly between those isomorphism relations. The isomorphism relations are considered on models of some fixed uncountable cardinality obeying certain restrictions. (shrink)

Working with uncountable structures of fixed cardinality, we investigate the complexity of certain equivalence relations and show that if, then many of them are ‐complete, in particular the isomorphism relation of dense linear orders. Then we show that it is undecidable in whether or not the isomorphism relation of a certain well behaved theory (stable, NDOP, NOTOP) is ‐complete (it is, if, but can be forced not to be).

We study the class of elementary submodels of a large superstable homogeneous model. We introduce a rank which is bounded in the superstable case, and use it to define a dependence relation which shares many (but not all) of the properties of forking in the first order case. The main difference is that we do not have extension over all sets. We also present an example of Shelah showing that extension over all sets may not hold for any dependence relation (...) for superstable homogeneous models. (shrink)

In this paper we study elementary submodels of a stable homogeneous structure. We improve the independence relation defined in Hyttinen 167–182). We apply this to prove a structure theorem. We also show that dop and sdop are essentially equivalent, where the negation of dop is the property we use in our structure theorem and sdop implies nonstructure, see Hyttinen.

We use sets of assignments, a.k.a. teams, and measures on them to define probabilities of first-order formulas in given data. We then axiomatise first-order properties of such probabilities and prove a completeness theorem for our axiomatisation. We use the Hardy–Weinberg Principle of biology and the Bell’s Inequalities of quantum physics as examples.

We study the Borel reducibility of isomorphism relations in the generalized Baire space. In the main result we show for inaccessible κ, that if T is a classifiable theory and is stable with the orthogonal chain property (OCP), then the isomorphism of models of T is Borel reducible to the isomorphism of models of.

Working under large cardinal assumptions such as supercompactness, we study the Borel reducibility between equivalence relations modulo restrictions of the nonstationary ideal on some fixed cardinal κ. We show the consistency of Eλ-clubλ++,λ++, the relation of equivalence modulo the nonstationary ideal restricted to Sλλ++ in the space λ++, being continuously reducible to Eλ+-club2,λ++, the relation of equivalence modulo the nonstationary ideal restricted to Sλ+λ++ in the space 2λ++. Then we show that for κ ineffable Ereg2,κ, the relation of equivalence modulo (...) the nonstationary ideal restricted to regular cardinals in the space 2κ is Σ11-complete. We finish by showing that, for Π21-indescribable κ, the isomorphism relation between dense linear orders of cardinality κ is Σ11-complete. (shrink)

The article investigates the rhetorical means of mediating affective experience in occasioned storytelling. The completion of this article has been supported by The Emil Aaltonen Foundation and The Academy of Finland project (285144) The Literary in Life and The Academy of Finland project (326645) European Solidarities in Turmoil. We are interested in the forms and aspects of bodily action in signifying and communicating a “para-factual experience” that was triggered by a real-life incident, but in fact only took place in a (...) person’s imagination. We explore the case of a TV interview in which an American living in Finland narrates a personal, disturbing experience related to the news about 9/11. The story presents a visual scenario of the teller’s affective reaction towards two Muslim women in a grocery store. What is interesting in the story are its involuntary dimensions: the scenario portrays a picture of the teller that he finds unrecognizable and detached from his sense of self as a person. Even if the act was never actually realized, to the teller it felt real and compelling, as is manifest in the way he translates the scenario into a bodily performance. The teller not only uses his body to tell the story but momentarily turns the surrounding setting into a scene in the storyworld in which he plays the unidentified me. We call this physical performance of the imagined scene the embodied ekphrasis of experience. In Semiotica, the rhetorical device of ekphrasis has appeared before (see Frosh 2003; Hopkins 2015; Nesselroth 2016; Sarapik 2009) from such literary and linguistic perspectives, as well as through the lens of media research and cultural studies, to which our application will add from the viewpoint of ethnomethodology and the social sciences. Deploying research on multimodal interaction and intermediality, our empirical analysis explicates how the teller’s body, and not just words, build action, convey affective meaning, and resemiotize and mobilize a physical enactment of the past hypothetical scene. (shrink)

Research on entrepreneurship as a policy discourse has focused mostly on relations between the discourse and targets of the policy, that is, actors intended to become entrepreneurial or entrepreneurs, while the role of policy implementers has received much less attention. The present study examines the ‘rationality’ of entrepreneurship policies by analyzing how actors in charge of the grassroots level policy implementation in the farming context use entrepreneurship discourse and argue for the communicative and interactive viability of their mission. The analysis (...) of stances and positioning in interview talk reveals that policy implementers are active discourse users who, on the one hand, are able to reflect on the dilemmas and problems inherent in their task but, on the other hand, use their rhetorical agency to maintain and defend their mission as promoters of entrepreneurship policy and to save and support their own face as experts. As a result, the implementation emerges as a delicately managed interaction process. (shrink)

If T is an unstable theory of cardinality <λ or countable stable theory with OTOP or countable superstable theory with DOP, λω λω1 in the superstable with DOP case) is regular and λ<λ=λ, then we construct for T strongly equivalent nonisomorphic models of cardinality λ. This can be viewed as a strong nonstructure theorem for such theories. We also consider the case when T is unsuperstable and develop further a result of Shelah about the existence of L∞,λ-equivalent nonisomorphic models for (...) such T. In addition, we show that a natural analogue of Scott's isomorphism theorem fails for models of power κ, if κω is regular, assuming κ<κ=κ. (shrink)

We start by giving a survey to the theory of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\text {Borel}}^{*}$$\end{document} sets in the generalized Baire space \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\text {Baire}}=\kappa ^{\kappa }$$\end{document}. In particular we look at the relation of this complexity class to other complexity classes which we denote by \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\text {Borel}}$$\end{document}, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Delta _1^1}$$\end{document} (...) and \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Sigma _1^1}$$\end{document} and the connections between \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\text {Borel}}^*$$\end{document} sets and the infinitely deep language \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$M_{\kappa ^+\kappa }$$\end{document}. In the end of the paper we will prove the consistency of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\text {Borel}}^{*}\ne \Sigma ^{1}_{1}$$\end{document}. (shrink)

We study the class of elementary submodels of a large superstable homogeneous model. We introduce a rank which is bounded in the superstable case, and use it to define a dependence relation which shares many (but not all) of the properties of forking in the first order case. The main difference is that we do not have extension over all sets. We also present an example of Shelah showing that extension over all sets may not hold for any dependence relation (...) for superstable homogeneous models. (shrink)

We study the categoricity of the classes of elementary submodels of a homogeneous structure.

We continue our study of finitary abstract elementary classes, defined in [7]. In this paper, we prove a categoricity transfer theorem for a case of simple finitary AECs. We introduce the concepts of weak κ-categoricity and f-primary models to the framework of א₀-stable simple finitary AECs with the extension property, whereby we gain the following theorem: Let (������, ≼ ������ ) be a simple finitary AEC, weakly categorical in some uncountable κ. Then (������, ≼ ������ ) is weakly categorical in (...) each λ ≥ min { \group{ \{\kappa,\beth_{ \group{ (2^{ \aleph_{ 0 _} ^});^{ + ^} \group} _}\}; \group} . If the class (������, ≼ ������ ) is also LS(������)-tame, weak κ-categoricity is equivalent with κ-categoricity in the usual sense. We also discuss the relation between finitary AECs and some other non-elementary frameworks and give several examples. (shrink)

We study how equivalent nonisomorphic models an unsuperstable theory can have. We measure the equivalence by Ehrenfeucht-Fraisse games. This paper continues the work started in $[HT]$.

Henkin quantifiers have been introduced in Henkin (1961). Walkoe (1970) studied basic model-theoretical properties of an extension $L_{*}^{1}$ (H) of ordinary first-order languages in which every sentence is a first-order sentence prefixed with a Henkin quantifier. In this paper we consider a generalization of Walkoe's languages: we close $L_{*}^{1}$ (H) with respect to Boolean operations, and obtain the language L¹(H). At the next level, we consider an extension $L_{*}^{2}$ (H) of L¹(H) in which every sentence is an L¹(H)-sentence prefixed with (...) a Henkin quantifier. We repeat this construction to infinity. Using the (un)definability of truth - in - N for these languages, we show that this hierarchy does not collapse. In addition, we compare some of the present results to the ones obtained by Kripke (1975), McGee (1991), and Hintikka (1996). (shrink)

Let be a universal class with categorical in a regular with arbitrarily large models, and let be the class of all for which there is such that. We prove that is totally categorical (i.e., ξ‐categorical for all ) and for. This result is partially stronger and partially weaker than a related result due to Vasey. In addition to small differences in our categoricity transfer results, we provide a shorter and simpler proof. In the end we prove the main theorem of (...) this paper: the models of are essentially vector spaces (or trivial, i.e., disintegrated). (shrink)

We introduce Lascar strong types in excellent classes and prove that they coincide with the orbits of the group generated by automorphisms fixing a model. We define a new independence relation using Lascar strong types and show that it is well-behaved over models, as well as over finite sets. We then develop simplicity and show that, under simplicity, the independence relation satisfies all the properties of nonforking in a stable first order theory. Further, simplicity for an excellent class, as well (...) as the independence relation itself, is uniquely determined. Finally, we show that an excellent class is simple if and only if it has extensible U-rank . We deduce that any excellent class of finite U-rank is simple, and that any uncountably categorical excellent class has an expansion with countably many constants which is simple. (shrink)

We study how equivalent nonisomorphic models of unsuperstable theories can be. We measure the equivalence by Ehrenfeucht-Fraisse games. This paper continues [HS].

We search for a set-up in which results from the theory of infinite models hold for finite models. As an example we prove results from stability theory.

We prove that the form of conditional independence at play in database theory and independence logic is reducible to the first-order dividing calculus in the theory of atomless Boolean algebras. This establishes interesting connections between independence in database theory and stochastic independence. As indeed, in light of the aforementioned reduction and recent work of Ben-Yaacov :957–1012, 2013), the former case of independence can be seen as the discrete version of the latter.

We characterize the classifiability of a countable first-order theory T in terms of the solvability of the potential-isomorphism problem for models of T.

Let U and B be two countable relational models of the same first order language. If the models are nonisomorphic, there is a unique countable ordinal α with the property that $\mathfrak{U} \equiv^\alpha_{\infty\omega} \mathfrak{B} \text{but not} \mathfrak{U} \equiv^{\alpha + 1}_{\infty\omega} \mathfrak{B},$ i.e. U and B are L ∞ω -equivalent up to quantifier-rank α but not up to α + 1. In this paper we consider models U and B of cardinality ω 1 and construct trees which have a similar relation (...) to U and B as α above. For this purpose we introduce a new ordering T ≪ T' of trees, which may have some independent interest of its own. It turns out that the above ordinal α has two qualities which coincide in countable models but will differ in uncountable models. Respectively, two kinds of trees emerge from α. We call them Scott trees and Karp trees, respectively. The definition and existence of these trees is based on an examination of the Ehrenfeucht game of length ω 1 between U and B. We construct two models of power ω 1 with 2 ω 1 mutually noncomparable Scott trees. (shrink)

Adults identified as believers and sceptics based on self-reports from a supernatural beliefs scale were assessed on two measures of inhibition; the Stroop Color‐Word Task and the Wisconsin Card Sorting Test. Both groups were of equal educational status and background. However, believers made significantly more errors than sceptics on all subscales of the WCST but were equivalent in performance on the Stroop measure. This finding is consistent with the idea that supernatural beliefs in adults are related to some types of (...) inhibitory control. (shrink)